- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by C. G. Mckay
14 found
Order:
- The decidability of certain intermediate propositional logics.C. G. Mckay - 1968 - Journal of Symbolic Logic 33 (2):258-264.
- A class of decidable intermediate propositional logics.C. G. McKay - 1971 - Journal of Symbolic Logic 36 (1):127-128.
- A Note on The Jaśkowski Sequence.C. G. McKay - 1967 - Mathematical Logic Quarterly 13 (6):95-96.
- A Note on The Jaśkowski Sequence.C. G. McKay - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (6):95-96.No categories
- Correction to my paper "Some completeness results for intermediate propositional logics".C. G. McKay - 1968 - Notre Dame Journal of Formal Logic 9 (4):388-388.
- Implicationless wffs. in IC.C. G. McKay - 1967 - Notre Dame Journal of Formal Logic 8 (3):227-228.
- Some completeness results for intermediate propositional logics.C. G. McKay - 1967 - Notre Dame Journal of Formal Logic 8 (3):191-194.
- A consistent propositional logic without any finite models.C. G. McKay - 1985 - Journal of Symbolic Logic 50 (1):38-41.
- Review: V. A. Jankov, Conjunctively Indecomposable Formulas in Propositional Calculi. [REVIEW]C. G. McKay - 1972 - Journal of Symbolic Logic 37 (1):186-186.
- Antonio Diego. Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz. Collection de logique mathématique, series A, no. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, viii + 55 pp. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139.
- Grzegorczyk Andrzej. A philosophically plausible formal interpretation of intuitionistic logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 , pp. 596–601; also Indagationes matkematicae, vol. 26 , pp. 596–601. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
- Jankov V. A.. Conjunctively indecomposable formulas in propositional calculi. English translation of XXXVII 206. Soviet mathematics, vol. 3 no. 1 , pp. 17–35. [REVIEW]C. G. McKay - 1972 - Journal of Symbolic Logic 37 (1):186-186.
- Review: Antonio Diego, Jean Porte, Luisa Iturrioz, Sur les Algebres de Hilbert. [REVIEW]C. G. McKay - 1970 - Journal of Symbolic Logic 35 (1):139-139.
- Review: Andrzej Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-g9ljc uwo